#dft-output {
    font-family: monospace;
    font-size: 10px;
    line-height: 1.1em;
    overflow-x: auto;
    white-space: nowrap;
}

#dft-output div.highlight {
    background-color: rgba(255, 255, 0, 0.6);
    font-weight: bold;
}
